Solver Square Comparison: Considers all models.
Date / Time: |
06/13/04 21:30:48 |
Solver comparison utility.
Compares all solver return outcomes (for example optimal, locally optimal, infeasible, unbounded,
fail) of one solver with all return outcomes of another solver. Interrupt
denotes resource or iteration limit has been reached.
Solver MINOS is represented on the left (rows) and
solver BARON on top (columns).
See the solver return definitions for return codes.
Models having trace data only in one trace file are listed in
the "no data" column of the other.
|
optimal |
locally optimal |
feasible |
infeasible |
unbounded |
fail |
no data |
total MINOS |
optimal | 1 |
- |
- |
- |
- |
- |
- |
1 |
locally optimal | 62 |
190 |
- |
2 |
- |
9 |
- |
263 |
feasible | 2 |
11 |
- |
- |
- |
2 |
- |
15 |
infeasible | 4 |
7 |
- |
- |
- |
- |
- |
11 |
unbounded | - |
- |
- |
- |
- |
- |
- |
- |
fail | - |
- |
- |
- |
- |
- |
- |
- |
no data | - |
- |
- |
- |
- |
- |
- |
- |
total BARON |
69 |
208 |
- |
2 |
- |
11 |
- |
290 |
Outcome | Model Status | Solver Status |
optimal | 1 or 15 | 1 |
locally optimal | 2 | any |
feasible | 7 or 16 or 17 | 1 or 2 or 3 or 4 or 5 |
infeasible | 4 or 5 or 19 | 1 |
unbounded | 3 or 18 | 1 |
fail | all other | all other |
Solver Resource Times
- Models for each solver pair outcome. Listed are the
solver resource times TIME(.) in seconds,
as well as the ratio RATIO(./.) of
resource times for the two solvers if both solved optimally.
- Also listed are the objective values OBJ(.) using both solvers.
The better solution found is listed in boldface. A solution
is considered better, if the relative objective function
difference is greater than
1.00E-05.
If both solutions are less than 1e-1, we use the absolute
difference.
- Solver resource time ratios for a particular model are listed only if one solver has resource greater than 5.00E-02.
MINOS: optimal -- BARON: optimal    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Obj (BARON) |
qp5 |
0.0100 |
0.0200 |
--- |
0.43145590 |
0.43145590 |
Back to top
MINOS: locally optimal -- BARON: optimal    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Obj (BARON) |
circle |
0.0100 |
0.0100 |
--- |
4.57424779 |
4.57424779 |
ex2_1_1 |
0.0000 |
0.0100 |
--- |
-17.00000000 |
-17.00000000 |
ex2_1_2 |
0.0000 |
0.0000 |
--- |
-213.00000000 |
-213.00000000 |
ex2_1_3 |
0.0000 |
0.0100 |
--- |
-15.00000000 |
-15.00000000 |
ex3_1_3 |
0.0000 |
0.0000 |
--- |
-310.00000000 |
-310.00000000 |
ex4_1_2 |
0.0000 |
0.0200 |
--- |
-663.50009661 |
-663.50009661 |
ex4_1_8 |
0.0000 |
0.0100 |
--- |
-16.73889318 |
-16.73889318 |
ex4_1_9 |
0.0000 |
0.0200 |
--- |
-5.50801327 |
-5.50801327 |
ex5_2_2_case2 |
0.0000 |
0.0500 |
0.000 |
0.00000000 |
-600.00000000 |
ex7_2_2 |
0.0200 |
0.0400 |
--- |
-0.38881144 |
-0.38881143 |
ex7_3_1 |
0.0000 |
0.0000 |
--- |
2.00000000 |
0.34173955 |
ex7_3_2 |
0.0000 |
0.0100 |
--- |
1.08986397 |
1.08986397 |
ex7_3_3 |
0.0000 |
0.0300 |
--- |
1.14477980 |
0.81752905 |
ex7_3_4 |
0.0000 |
0.4800 |
0.000 |
10.00000000 |
6.27463434 |
ex8_1_8 |
0.0100 |
0.0200 |
--- |
-0.38881144 |
-0.38881143 |
ex9_1_1 |
0.0000 |
0.0100 |
--- |
-13.00000000 |
-13.00000000 |
ex9_1_10 |
0.0100 |
0.0000 |
--- |
-3.25000000 |
-3.25000000 |
ex9_1_4 |
0.0000 |
0.0100 |
--- |
-37.00000000 |
-37.00000000 |
ex9_1_5 |
0.0000 |
0.0200 |
--- |
-1.00000000 |
-1.00000000 |
ex9_1_8 |
0.0000 |
0.0000 |
--- |
-3.25000000 |
-3.25000000 |
ex9_2_2 |
0.0100 |
0.0100 |
--- |
99.99999205 |
99.99989480 |
ex9_2_4 |
0.0000 |
0.0300 |
--- |
0.50000000 |
0.50000000 |
ex9_2_5 |
0.0000 |
0.0100 |
--- |
5.00000000 |
5.00000000 |
hhfair |
0.0100 |
0.3300 |
0.030 |
-87.15903759 |
-87.15903761 |
house |
0.0000 |
0.0100 |
--- |
-4500.00000000 |
-4500.00000000 |
immun |
0.0000 |
0.0200 |
--- |
0.00000000 |
0.00000000 |
ramsey |
0.0000 |
0.0300 |
--- |
-2.48746864 |
-2.48746864 |
st_bpk1 |
0.0000 |
0.0100 |
--- |
-10.00000000 |
-13.00000000 |
st_bpk2 |
0.0000 |
0.0100 |
--- |
-10.00000000 |
-13.00000000 |
st_bpv1 |
0.0000 |
0.0200 |
--- |
10.00000000 |
10.00000000 |
st_bpv2 |
0.0000 |
0.0000 |
--- |
0.00000000 |
-8.00000000 |
st_bsj4 |
0.0000 |
0.0200 |
--- |
-55379.66111111 |
-70262.05000000 |
st_e01 |
0.0000 |
0.0100 |
--- |
-6.66666667 |
-6.66666667 |
st_e09 |
0.0000 |
0.0000 |
--- |
0.00000000 |
-0.50000000 |
st_e10 |
0.0000 |
0.0000 |
--- |
-16.73889318 |
-16.73889318 |
st_e11 |
0.0000 |
0.0800 |
0.000 |
286.94277335 |
189.31200000 |
st_e17 |
0.0000 |
0.0100 |
--- |
376.29193233 |
376.29193233 |
st_e18 |
0.0100 |
0.0100 |
--- |
-2.82842712 |
-2.82842712 |
st_e20 |
0.0000 |
0.0200 |
--- |
-0.38881144 |
-0.38881143 |
st_e22 |
0.0000 |
0.0000 |
--- |
-80.00000000 |
-85.00000000 |
st_e24 |
0.0000 |
0.0100 |
--- |
4.00000000 |
3.00000000 |
st_e25 |
0.0100 |
0.0100 |
--- |
0.89019359 |
0.89019359 |
st_e34 |
0.0000 |
0.0200 |
--- |
0.01561953 |
0.01561953 |
st_e42 |
0.0000 |
0.0100 |
--- |
18.78420000 |
18.78420000 |
st_fp1 |
0.0000 |
0.0300 |
--- |
0.00000000 |
-17.00000000 |
st_fp2 |
0.0000 |
0.0000 |
--- |
-213.00000000 |
-213.00000000 |
st_fp4 |
0.0000 |
0.0100 |
--- |
-11.00000000 |
-11.00000000 |
st_glmp_fp1 |
0.0000 |
0.0100 |
--- |
20.00000000 |
10.00000000 |
st_glmp_fp2 |
0.0000 |
0.0000 |
--- |
7.62750000 |
7.34454542 |
st_glmp_fp3 |
0.0100 |
0.0100 |
--- |
0.00000000 |
-12.00000000 |
st_glmp_kk90 |
0.0100 |
0.0200 |
--- |
4.00000000 |
3.00000000 |
st_glmp_kk92 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-12.00000000 |
st_glmp_ss2 |
0.0000 |
0.0200 |
--- |
8.25000000 |
3.00000000 |
st_kr |
0.0000 |
0.0000 |
--- |
-80.00000000 |
-85.00000000 |
st_pan2 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-17.00000000 |
st_ph10 |
0.0000 |
0.0000 |
--- |
-10.50000000 |
-10.50000000 |
st_ph2 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-1028.11728395 |
st_ph20 |
0.0100 |
0.0100 |
--- |
-158.00000000 |
-158.00000000 |
st_phex |
0.0000 |
0.0000 |
--- |
-80.00000000 |
-85.00000000 |
st_qpc-m0 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-5.00000000 |
st_qpk1 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-3.00000000 |
wall |
0.0000 |
0.0100 |
--- |
1.00000466 |
-1.00000466 |
Back to top
MINOS: locally optimal -- BARON: locally optimal    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Obj (BARON) |
abel |
0.0000 |
120.0000 |
0.000 |
225.19458319 |
225.19458319 |
alkyl |
0.0000 |
0.0400 |
--- |
-1.76499965 |
-1.76499965 |
bayes2_10 |
0.0800 |
1.0600 |
0.075 |
415.55224592 |
0.01837518 |
bayes2_20 |
0.0700 |
120.0500 |
0.001 |
733.58395467 |
0.00032609 |
bayes2_30 |
0.1700 |
120.0100 |
0.001 |
0.25120064 |
0.00010752 |
bayes2_50 |
0.0800 |
120.0300 |
0.001 |
0.52020841 |
0.52020774 |
bearing |
0.0000 |
120.0000 |
0.000 |
1.95179295 |
1.95173322 |
btest14 |
0.0100 |
120.1500 |
0.000 |
31.97751489 |
32.45088225 |
camcge |
0.0200 |
120.0300 |
0.000 |
-191.73462424 |
-191.73462424 |
chain25 |
0.1000 |
122.2700 |
0.001 |
5.07226149 |
5.07226149 |
chain50 |
0.1000 |
122.2100 |
0.001 |
5.07226149 |
5.07226149 |
chakra |
0.0000 |
0.1600 |
0.000 |
-179.13355786 |
-179.13355786 |
chance |
0.0100 |
0.0100 |
--- |
29.89437816 |
29.89437816 |
chem |
0.0000 |
1.2000 |
0.000 |
-47.70651483 |
-47.70651483 |
chenery |
0.0000 |
0.7500 |
0.000 |
-1058.91989148 |
-1058.91985563 |
demo7 |
0.0400 |
0.0200 |
--- |
-1589042.38618937 |
-1589042.38619810 |
dispatch |
0.0000 |
0.0000 |
--- |
3155.28792686 |
3155.28792686 |
elec25 |
1.9500 |
121.9300 |
0.016 |
243.81276030 |
243.81276030 |
etamac |
0.0200 |
1.2700 |
0.016 |
-15.29467564 |
-15.29467564 |
ex14_1_1 |
0.0100 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
ex14_1_2 |
0.0000 |
0.0300 |
--- |
0.00000000 |
0.00000000 |
ex14_1_3 |
0.0000 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
ex14_1_5 |
0.0000 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
ex14_1_6 |
0.0000 |
0.0100 |
--- |
1.00000000 |
0.00000000 |
ex14_1_7 |
0.0000 |
0.1200 |
0.000 |
7.04274947 |
0.00000000 |
ex14_1_8 |
0.0000 |
0.0200 |
--- |
0.04141589 |
0.00000000 |
ex14_1_9 |
0.0000 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
ex14_2_1 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex14_2_2 |
0.0000 |
0.0200 |
--- |
0.00000000 |
0.00000000 |
ex14_2_3 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex14_2_4 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex14_2_5 |
0.0000 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
ex14_2_6 |
0.0100 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex14_2_7 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex14_2_8 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex14_2_9 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex2_1_10 |
0.0000 |
0.0300 |
--- |
133718.84489665 |
49318.01795841 |
ex2_1_4 |
0.0000 |
0.0000 |
--- |
-11.00000000 |
-11.00000000 |
ex2_1_5 |
0.0000 |
0.0200 |
--- |
-268.01463154 |
-268.01463154 |
ex2_1_6 |
0.0000 |
0.0100 |
--- |
-39.00000000 |
-39.00000000 |
ex2_1_7 |
0.0000 |
0.0900 |
0.000 |
-4150.41013393 |
-4150.41013393 |
ex2_1_8 |
0.0000 |
0.0400 |
--- |
25287.00000000 |
15990.00000000 |
ex2_1_9 |
0.0000 |
0.9200 |
0.000 |
-0.37500000 |
-0.37500000 |
ex3_1_1 |
0.0000 |
0.1000 |
0.000 |
7049.24802053 |
7049.24802053 |
ex3_1_2 |
0.0000 |
0.0000 |
--- |
-30665.53867179 |
-30665.53867179 |
ex3_1_4 |
0.0000 |
0.0200 |
--- |
-4.00000000 |
-4.00000000 |
ex4_1_1 |
0.0000 |
0.0100 |
--- |
-7.48731236 |
-7.48731236 |
ex4_1_3 |
0.0000 |
0.0100 |
--- |
-443.67170474 |
-443.67170474 |
ex4_1_4 |
0.0100 |
0.0300 |
--- |
0.00000000 |
0.00000000 |
ex4_1_5 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
ex4_1_6 |
0.0000 |
0.0300 |
--- |
7.00000000 |
7.00000000 |
ex4_1_7 |
0.0000 |
0.0200 |
--- |
-7.50000000 |
-7.50000000 |
ex5_2_2_case1 |
0.0000 |
0.0300 |
--- |
0.00000000 |
-400.00000000 |
ex5_2_2_case3 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-750.00000000 |
ex5_2_4 |
0.0000 |
0.0400 |
--- |
-100.00000000 |
-450.00000000 |
ex5_2_5 |
0.0100 |
120.0400 |
0.000 |
-1900.00000000 |
-3500.00000000 |
ex5_3_2 |
0.0000 |
0.0900 |
0.000 |
1.86415946 |
1.86415946 |
ex5_4_2 |
0.0100 |
0.0900 |
0.111 |
7512.23014450 |
7512.23014450 |
ex5_4_3 |
0.0000 |
0.0400 |
--- |
5937.43734771 |
4845.46200496 |
ex5_4_4 |
0.0100 |
120.0000 |
0.000 |
10077.77540384 |
10077.77540384 |
ex6_1_1 |
0.0000 |
3.0200 |
0.000 |
-0.02019831 |
-0.02019831 |
ex6_1_2 |
0.0000 |
0.0400 |
--- |
-0.03246375 |
-0.03246375 |
ex6_1_3 |
0.0000 |
3.6400 |
0.000 |
-0.35249780 |
-0.35249780 |
ex6_1_4 |
0.0000 |
0.1100 |
0.000 |
-0.29454129 |
-0.29454129 |
ex6_2_11 |
0.0000 |
120.0000 |
0.000 |
-0.00000267 |
-0.00000267 |
ex6_2_12 |
0.0000 |
4.3100 |
0.000 |
0.28919475 |
0.28919475 |
ex6_2_14 |
0.0100 |
1.0200 |
0.010 |
-0.69535793 |
-0.69535793 |
ex6_2_5 |
0.0000 |
120.0000 |
0.000 |
-70.75207783 |
-70.75207783 |
ex6_2_6 |
0.0000 |
39.8900 |
0.000 |
0.00000071 |
-0.00000260 |
ex6_2_7 |
0.0000 |
120.0000 |
0.000 |
-0.16084762 |
-0.16084762 |
ex6_2_8 |
0.0000 |
19.0200 |
0.000 |
-0.02700635 |
-0.02700635 |
ex6_2_9 |
0.0000 |
120.0100 |
0.000 |
-0.03406618 |
-0.03406618 |
ex7_2_1 |
0.0100 |
0.0300 |
--- |
1227.22606413 |
1227.22607572 |
ex7_2_3 |
0.0000 |
75.2400 |
0.000 |
7049.21807243 |
7049.24802053 |
ex7_2_4 |
0.0000 |
1.8800 |
0.000 |
4.20285304 |
3.91801023 |
ex8_1_3 |
0.0000 |
120.0100 |
0.000 |
30.00000000 |
3.00000000 |
ex8_1_4 |
0.0000 |
0.0500 |
0.000 |
0.00000000 |
0.00000000 |
ex8_1_5 |
0.0000 |
0.2600 |
0.000 |
0.00000000 |
-1.03162845 |
ex8_1_6 |
0.0000 |
0.0100 |
--- |
-5.06543974 |
-10.08600150 |
ex8_1_7 |
0.0100 |
0.1500 |
0.067 |
0.02931083 |
0.02931083 |
ex8_3_1 |
0.5000 |
120.0000 |
0.004 |
-0.81668477 |
-0.76749808 |
ex8_3_10 |
0.0800 |
120.0100 |
0.001 |
-0.03596508 |
-0.88454742 |
ex8_3_12 |
0.0000 |
0.0500 |
0.000 |
0.00000000 |
0.00000000 |
ex8_3_13 |
0.0300 |
460.3100 |
0.000 |
0.00000000 |
0.00000000 |
ex8_3_2 |
0.1300 |
120.0200 |
0.001 |
-0.41233019 |
-0.41233018 |
ex8_3_3 |
0.1600 |
120.0100 |
0.001 |
-0.41660308 |
-0.41660308 |
ex8_3_4 |
0.1600 |
120.0100 |
0.001 |
-3.57998238 |
-3.57998238 |
ex8_3_5 |
0.1600 |
120.7200 |
0.001 |
-0.06911967 |
-0.06878673 |
ex8_3_6 |
0.2000 |
120.0000 |
0.002 |
-0.50000000 |
-0.50000000 |
ex8_3_7 |
0.1900 |
120.0100 |
0.002 |
-1.23261919 |
-1.23261919 |
ex8_3_9 |
0.1000 |
120.4200 |
0.001 |
-0.76300193 |
-0.76300194 |
ex8_4_1 |
0.0100 |
0.0900 |
0.111 |
0.61857276 |
0.61857276 |
ex8_4_2 |
0.0100 |
120.0000 |
0.000 |
0.48515249 |
0.48515249 |
ex8_4_3 |
0.0100 |
0.3500 |
0.029 |
0.00464972 |
0.00464972 |
ex8_4_4 |
0.0000 |
0.1600 |
0.000 |
0.21245984 |
0.21245984 |
ex8_4_5 |
0.0100 |
3.4900 |
0.003 |
0.00030749 |
0.00030749 |
ex8_4_6 |
0.0100 |
120.0200 |
0.000 |
0.00110498 |
0.00110498 |
ex8_4_7 |
0.0000 |
120.0000 |
0.000 |
29.04730672 |
29.04730672 |
ex8_6_1 |
0.0700 |
120.0200 |
0.001 |
-26.49049870 |
-28.42253189 |
ex8_6_2 |
0.0700 |
120.0400 |
0.001 |
-31.28492061 |
-31.88862963 |
ex9_1_2 |
0.0000 |
0.0000 |
--- |
-3.00000000 |
-16.00000000 |
ex9_2_1 |
0.0000 |
0.0000 |
--- |
17.00000000 |
17.00000000 |
ex9_2_3 |
0.0100 |
0.0300 |
--- |
0.00000000 |
0.00000000 |
ex9_2_6 |
0.0000 |
0.0200 |
--- |
-1.00000000 |
-1.00000000 |
ex9_2_7 |
0.0000 |
0.0300 |
--- |
17.00000000 |
17.00000000 |
ex9_2_8 |
0.0100 |
0.0100 |
--- |
1.50000000 |
1.50000000 |
gtm |
0.0100 |
0.0900 |
0.111 |
543.56509479 |
543.56509479 |
harker |
0.0000 |
0.1700 |
0.000 |
-986.51348399 |
-986.51348399 |
haverly |
0.0000 |
0.0400 |
--- |
-400.00000000 |
-400.00000000 |
himmel11 |
0.0000 |
0.0100 |
--- |
-30665.53867178 |
-30665.53867179 |
himmel16 |
0.0100 |
3.0500 |
0.003 |
-0.67498144 |
-0.86602540 |
hydro |
0.0000 |
0.0500 |
0.000 |
4366944.15975813 |
4366944.15975814 |
least |
0.0000 |
120.0000 |
0.000 |
14085.13984893 |
14085.13984893 |
like |
0.0100 |
0.6300 |
0.016 |
1138.41056442 |
1138.41056442 |
meanvar |
0.0100 |
0.1000 |
0.100 |
5.24339907 |
5.24339907 |
mhw4d |
0.0000 |
0.2600 |
0.000 |
27.87190522 |
0.02931083 |
minlphi |
0.0000 |
5.0400 |
0.000 |
582.23614204 |
582.23614204 |
otpop |
0.0100 |
0.0400 |
--- |
0.00000000 |
0.00000000 |
pindyck |
0.0000 |
120.0100 |
0.000 |
-1170.48628544 |
-1170.48628544 |
process |
0.0000 |
0.0600 |
0.000 |
-1161.33660242 |
-1161.33660236 |
prolog |
0.0100 |
0.0200 |
--- |
1.06218530 |
0.00000001 |
qp1 |
0.0600 |
120.0300 |
0.000 |
0.00080932 |
0.00080932 |
qp2 |
0.0300 |
120.0300 |
0.000 |
0.00080932 |
0.00080932 |
qp3 |
0.0200 |
120.0100 |
0.000 |
0.00080932 |
0.00080932 |
qp4 |
0.0000 |
0.3400 |
0.000 |
0.00080932 |
0.00080932 |
rbrock |
0.0000 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
sambal |
0.0000 |
1.1800 |
0.000 |
3.96822036 |
3.96822036 |
sample |
0.0000 |
0.0300 |
--- |
726.66841727 |
726.67935880 |
srcpm |
0.0000 |
0.0600 |
0.000 |
2109.78183275 |
2109.78183275 |
st_bpaf1a |
0.0100 |
0.0000 |
--- |
-45.37971014 |
-45.37971014 |
st_bpaf1b |
0.0000 |
0.0100 |
--- |
-42.96255760 |
-42.96255760 |
st_bsj2 |
0.0000 |
0.0200 |
--- |
1.00000000 |
1.00000000 |
st_bsj3 |
0.0000 |
0.0200 |
--- |
-34843.05000000 |
-86768.55000000 |
st_cqpf |
0.0000 |
0.0100 |
--- |
-2.75000000 |
-2.75000000 |
st_cqpjk1 |
0.0100 |
0.0200 |
--- |
-12.44444222 |
-12.44444222 |
st_cqpjk2 |
0.0000 |
0.0100 |
--- |
-12.50000000 |
-12.50000000 |
st_e03 |
0.0100 |
0.1600 |
0.063 |
-1161.33660236 |
-1161.33660236 |
st_e04 |
0.0000 |
0.0300 |
--- |
5194.86624420 |
5194.87000000 |
st_e05 |
0.1400 |
0.1600 |
0.875 |
7049.24927242 |
7049.24927248 |
st_e06 |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
st_e07 |
0.0000 |
0.0200 |
--- |
-400.00000000 |
-400.00000000 |
st_e19 |
0.0000 |
0.0300 |
--- |
10.35382907 |
-118.70485977 |
st_e23 |
0.0000 |
0.0300 |
--- |
-1.08333333 |
-1.08333333 |
st_e26 |
0.0000 |
0.0200 |
--- |
-185.77920000 |
-185.77920000 |
st_e28 |
0.0100 |
0.0000 |
--- |
-30665.53867178 |
-30665.53867179 |
st_e33 |
0.0000 |
0.0200 |
--- |
-400.00000000 |
-400.00000000 |
st_e37 |
0.0000 |
0.0300 |
--- |
0.01583938 |
0.00104172 |
st_e39 |
0.0000 |
0.0200 |
--- |
-5.06543974 |
-10.08600150 |
st_e41 |
0.0000 |
0.0000 |
--- |
641.82356228 |
641.82356233 |
st_fp3 |
0.0000 |
0.0200 |
--- |
-10.10937500 |
-13.82812500 |
st_fp5 |
0.0000 |
0.0100 |
--- |
-268.01463154 |
-268.01463154 |
st_fp6 |
0.0000 |
0.0300 |
--- |
-18.22222222 |
-39.00000000 |
st_fp7a |
0.0100 |
0.0400 |
--- |
1.47958635 |
-354.75061242 |
st_fp7b |
0.0000 |
0.0400 |
--- |
-470.52200965 |
-634.75061242 |
st_fp7c |
0.0100 |
0.0400 |
--- |
-5410.44019294 |
-8695.01224832 |
st_fp7d |
0.0100 |
0.0500 |
0.200 |
6.55405444 |
-114.75061242 |
st_fp7e |
0.0000 |
0.0300 |
--- |
12.75070976 |
-3730.41013393 |
st_fp8 |
0.0100 |
0.0600 |
0.167 |
20560.00000000 |
15990.00000000 |
st_glmp_kky |
0.0000 |
0.0000 |
--- |
1.50000000 |
-2.50000000 |
st_glmp_ss1 |
0.0000 |
0.0200 |
--- |
-24.57142857 |
-24.57142857 |
st_ht |
0.0000 |
0.0000 |
--- |
0.00000000 |
-1.60000000 |
st_iqpbk1 |
0.0000 |
0.0400 |
--- |
-621.48782500 |
-621.48782500 |
st_iqpbk2 |
0.0100 |
0.0300 |
--- |
-1195.22565000 |
-1195.22565000 |
st_jcbpaf2 |
0.0000 |
0.0300 |
--- |
-388.34910774 |
-794.85591398 |
st_jcbpafex |
0.0000 |
0.0100 |
--- |
-1.08333333 |
-1.08333333 |
st_m1 |
0.0000 |
0.0500 |
0.000 |
-461356.93887879 |
-461356.93887879 |
st_m2 |
0.0100 |
0.0700 |
0.143 |
-856648.81868507 |
-856648.81868507 |
st_pan1 |
0.0000 |
0.0000 |
--- |
0.00000000 |
-5.28370918 |
st_ph1 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-230.11728395 |
st_ph11 |
0.0000 |
0.0300 |
--- |
0.00000000 |
-11.28125000 |
st_ph12 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-22.62500000 |
st_ph13 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-11.28125000 |
st_ph14 |
0.0000 |
0.0200 |
--- |
-215.12500000 |
-229.72222222 |
st_ph15 |
0.0000 |
0.0100 |
--- |
0.00000000 |
-392.70370370 |
st_ph3 |
0.0000 |
0.0200 |
--- |
0.00000000 |
-420.23481985 |
st_qpc-m1 |
0.0000 |
0.0200 |
--- |
-473.77777778 |
-473.77777778 |
st_qpc-m3a |
0.0000 |
0.0300 |
--- |
0.00000000 |
-382.69500000 |
st_qpc-m3b |
0.0000 |
0.0600 |
0.000 |
0.00000000 |
0.00000000 |
st_qpc-m3c |
0.0000 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
st_qpc-m4 |
0.0100 |
0.0000 |
--- |
0.00000000 |
0.00000000 |
st_qpk2 |
0.0100 |
0.0200 |
--- |
0.00000000 |
-12.25000000 |
st_qpk3 |
0.0000 |
0.0800 |
0.000 |
0.00000000 |
-36.00000000 |
st_rv1 |
0.0100 |
0.0100 |
--- |
-59.90434506 |
-59.94391660 |
st_rv2 |
0.0000 |
0.0300 |
--- |
-61.56223652 |
-64.48069510 |
st_rv3 |
0.0100 |
0.0200 |
--- |
-35.76067064 |
-35.76067064 |
st_rv7 |
0.0000 |
0.0500 |
0.000 |
-118.15121322 |
-138.18749713 |
st_rv8 |
0.0100 |
0.0600 |
0.167 |
-132.66162896 |
-132.66162896 |
st_rv9 |
0.0000 |
0.1000 |
0.000 |
-114.66276537 |
-118.97521560 |
st_z |
0.0000 |
0.0100 |
--- |
0.00000000 |
0.00000000 |
weapons |
0.0100 |
0.0200 |
--- |
-1735.56957986 |
-1735.56957986 |
Back to top
MINOS: locally optimal -- BARON: infeasible    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Status (BARON) |
launch |
0.0100 |
0.0000 |
--- |
2257.79755763 |
mstat(19) sstat( 1) |
pollut |
0.0000 |
0.0100 |
--- |
-5353268.62874738 |
mstat(19) sstat( 1) |
Back to top
MINOS: locally optimal -- BARON: fail    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Status (BARON) |
chain100 |
0.3000 |
122.6000 |
--- |
5.06978462 |
mstat(12) sstat(10) |
elec50 |
6.2200 |
120.4900 |
--- |
1055.18231473 |
mstat(13) sstat( 3) |
ex14_1_4 |
0.0100 |
0.0000 |
--- |
0.00000000 |
mstat(14) sstat( 6) |
ex8_1_1 |
0.0000 |
0.0000 |
--- |
-2.02180678 |
mstat(14) sstat( 6) |
ex8_1_2 |
0.0100 |
0.0000 |
--- |
2.80345848 |
mstat(14) sstat( 6) |
korcge |
0.0100 |
0.1400 |
--- |
-339.21302800 |
mstat(14) sstat(10) |
lnts50 |
0.1000 |
0.0000 |
--- |
0.55466876 |
mstat(14) sstat( 6) |
ship |
0.0000 |
0.0200 |
--- |
5.54091471 |
mstat(14) sstat(10) |
worst |
0.0000 |
0.0000 |
--- |
20762609.21087110 |
mstat(14) sstat( 6) |
Back to top
MINOS: feasible -- BARON: optimal    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Obj (BARON) |
st_e12 |
0.0000 |
0.0100 |
--- |
0.00000000 |
-4.51420165 |
st_e21 |
0.0000 |
0.0100 |
--- |
0.00000000 |
-13.40190356 |
Back to top
MINOS: feasible -- BARON: locally optimal    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Obj (BARON) |
ex6_2_10 |
0.0100 |
120.0100 |
0.000 |
-3.05122548 |
-3.05197613 |
ex6_2_13 |
0.0000 |
120.0100 |
0.000 |
-0.21020929 |
-0.21620944 |
ex8_2_1 |
0.0000 |
27.1500 |
0.000 |
0.00010520 |
1.00000000000000E+51 |
ex8_2_4 |
4.4900 |
80.6700 |
0.056 |
0.00001171 |
1.00000000000000E+51 |
ex8_4_8 |
0.0000 |
120.0100 |
0.000 |
171.62156319 |
3.32184733 |
ex8_5_1 |
0.0000 |
0.0200 |
--- |
0.82038073 |
-0.00000041 |
ex8_5_2 |
0.0000 |
0.0300 |
--- |
-3.65453824 |
-0.00000001 |
ex8_5_3 |
0.0000 |
0.0100 |
--- |
-5.86102647 |
-0.00413543 |
ex8_5_4 |
0.0000 |
0.0200 |
--- |
-0.17795537 |
-0.00042515 |
ex8_5_5 |
0.0000 |
0.0100 |
--- |
0.64175744 |
-0.01075334 |
ex8_5_6 |
0.0100 |
0.0200 |
--- |
4.49350171 |
0.00000099 |
Back to top
MINOS: feasible -- BARON: fail    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Obj (MINOS) |
Status (BARON) |
elec100 |
30.0300 |
120.6800 |
--- |
3673.86874227 |
mstat(13) sstat( 3) |
ex8_3_14 |
0.0100 |
205.9900 |
--- |
-2.08041015 |
mstat(12) sstat(10) |
Back to top
MINOS: infeasible -- BARON: optimal    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Status (MINOS) |
Obj (BARON) |
ex7_3_5 |
0.0000 |
1.3600 |
--- |
mstat( 5) sstat( 1) |
1.20689651 |
st_e02 |
0.0000 |
0.0100 |
--- |
mstat( 5) sstat( 1) |
201.15933406 |
st_e16 |
0.0000 |
0.0600 |
--- |
mstat( 5) sstat( 1) |
12292.46727679 |
st_e30 |
0.0100 |
0.0500 |
--- |
mstat( 5) sstat( 1) |
-1.58113883 |
Back to top
MINOS: infeasible -- BARON: locally optimal    Back to top
Modelname |
Time (MINOS) |
Time (BARON) |
Ratio (MINOS/BARON) |
Status (MINOS) |
Obj (BARON) |
camshape100 |
0.0300 |
18.0600 |
--- |
mstat( 5) sstat( 1) |
-4.28414712 |
ex5_3_3 |
0.0000 |
120.0100 |
--- |
mstat( 5) sstat( 1) |
3.23401822 |
ex7_3_6 |
0.0100 |
0.0100 |
--- |
mstat( 5) sstat( 1) |
0.00000000 |
ex8_3_11 |
0.1400 |
120.2000 |
--- |
mstat( 5) sstat( 1) |
-0.76174444 |
ex8_3_8 |
0.0500 |
120.3800 |
--- |
mstat( 5) sstat( 1) |
-2.99777591 |
st_e08 |
0.0000 |
0.0000 |
--- |
mstat( 5) sstat( 1) |
0.74178196 |
st_robot |
0.0100 |
0.0900 |
--- |
mstat( 5) sstat( 1) |
0.00000000 |
Back to top
MINOS: optimal:     Back to top
Modelname |
Time (MINOS) |
Obj (MINOS) |
qp5 |
0.0100 |
0.43145590 |
Back to top
MINOS: locally optimal:     Back to top
Modelname |
Time (MINOS) |
Obj (MINOS) |
abel |
0.0000 |
225.19458319 |
alkyl |
0.0000 |
-1.76499965 |
bayes2_10 |
0.0800 |
415.55224592 |
bayes2_20 |
0.0700 |
733.58395467 |
bayes2_30 |
0.1700 |
0.25120064 |
bayes2_50 |
0.0800 |
0.52020841 |
bearing |
0.0000 |
1.95179295 |
btest14 |
0.0100 |
31.97751489 |
camcge |
0.0200 |
-191.73462424 |
chain100 |
0.3000 |
5.06978462 |
chain25 |
0.1000 |
5.07226149 |
chain50 |
0.1000 |
5.07226149 |
chakra |
0.0000 |
-179.13355786 |
chance |
0.0100 |
29.89437816 |
chem |
0.0000 |
-47.70651483 |
chenery |
0.0000 |
-1058.91989148 |
circle |
0.0100 |
4.57424779 |
demo7 |
0.0400 |
-1589042.38618937 |
dispatch |
0.0000 |
3155.28792686 |
elec25 |
1.9500 |
243.81276030 |
elec50 |
6.2200 |
1055.18231473 |
etamac |
0.0200 |
-15.29467564 |
ex14_1_1 |
0.0100 |
0.00000000 |
ex14_1_2 |
0.0000 |
0.00000000 |
ex14_1_3 |
0.0000 |
0.00000000 |
ex14_1_4 |
0.0100 |
0.00000000 |
ex14_1_5 |
0.0000 |
0.00000000 |
ex14_1_6 |
0.0000 |
1.00000000 |
ex14_1_7 |
0.0000 |
7.04274947 |
ex14_1_8 |
0.0000 |
0.04141589 |
ex14_1_9 |
0.0000 |
0.00000000 |
ex14_2_1 |
0.0000 |
0.00000000 |
ex14_2_2 |
0.0000 |
0.00000000 |
ex14_2_3 |
0.0000 |
0.00000000 |
ex14_2_4 |
0.0000 |
0.00000000 |
ex14_2_5 |
0.0000 |
0.00000000 |
ex14_2_6 |
0.0100 |
0.00000000 |
ex14_2_7 |
0.0000 |
0.00000000 |
ex14_2_8 |
0.0000 |
0.00000000 |
ex14_2_9 |
0.0000 |
0.00000000 |
ex2_1_1 |
0.0000 |
-17.00000000 |
ex2_1_10 |
0.0000 |
133718.84489665 |
ex2_1_2 |
0.0000 |
-213.00000000 |
ex2_1_3 |
0.0000 |
-15.00000000 |
ex2_1_4 |
0.0000 |
-11.00000000 |
ex2_1_5 |
0.0000 |
-268.01463154 |
ex2_1_6 |
0.0000 |
-39.00000000 |
ex2_1_7 |
0.0000 |
-4150.41013393 |
ex2_1_8 |
0.0000 |
25287.00000000 |
ex2_1_9 |
0.0000 |
-0.37500000 |
ex3_1_1 |
0.0000 |
7049.24802053 |
ex3_1_2 |
0.0000 |
-30665.53867179 |
ex3_1_3 |
0.0000 |
-310.00000000 |
ex3_1_4 |
0.0000 |
-4.00000000 |
ex4_1_1 |
0.0000 |
-7.48731236 |
ex4_1_2 |
0.0000 |
-663.50009661 |
ex4_1_3 |
0.0000 |
-443.67170474 |
ex4_1_4 |
0.0100 |
0.00000000 |
ex4_1_5 |
0.0000 |
0.00000000 |
ex4_1_6 |
0.0000 |
7.00000000 |
ex4_1_7 |
0.0000 |
-7.50000000 |
ex4_1_8 |
0.0000 |
-16.73889318 |
ex4_1_9 |
0.0000 |
-5.50801327 |
ex5_2_2_case1 |
0.0000 |
0.00000000 |
ex5_2_2_case2 |
0.0000 |
0.00000000 |
ex5_2_2_case3 |
0.0000 |
0.00000000 |
ex5_2_4 |
0.0000 |
-100.00000000 |
ex5_2_5 |
0.0100 |
-1900.00000000 |
ex5_3_2 |
0.0000 |
1.86415946 |
ex5_4_2 |
0.0100 |
7512.23014450 |
ex5_4_3 |
0.0000 |
5937.43734771 |
ex5_4_4 |
0.0100 |
10077.77540384 |
ex6_1_1 |
0.0000 |
-0.02019831 |
ex6_1_2 |
0.0000 |
-0.03246375 |
ex6_1_3 |
0.0000 |
-0.35249780 |
ex6_1_4 |
0.0000 |
-0.29454129 |
ex6_2_11 |
0.0000 |
-0.00000267 |
ex6_2_12 |
0.0000 |
0.28919475 |
ex6_2_14 |
0.0100 |
-0.69535793 |
ex6_2_5 |
0.0000 |
-70.75207783 |
ex6_2_6 |
0.0000 |
0.00000071 |
ex6_2_7 |
0.0000 |
-0.16084762 |
ex6_2_8 |
0.0000 |
-0.02700635 |
ex6_2_9 |
0.0000 |
-0.03406618 |
ex7_2_1 |
0.0100 |
1227.22606413 |
ex7_2_2 |
0.0200 |
-0.38881144 |
ex7_2_3 |
0.0000 |
7049.21807243 |
ex7_2_4 |
0.0000 |
4.20285304 |
ex7_3_1 |
0.0000 |
2.00000000 |
ex7_3_2 |
0.0000 |
1.08986397 |
ex7_3_3 |
0.0000 |
1.14477980 |
ex7_3_4 |
0.0000 |
10.00000000 |
ex8_1_1 |
0.0000 |
-2.02180678 |
ex8_1_2 |
0.0100 |
2.80345848 |
ex8_1_3 |
0.0000 |
30.00000000 |
ex8_1_4 |
0.0000 |
0.00000000 |
ex8_1_5 |
0.0000 |
0.00000000 |
ex8_1_6 |
0.0000 |
-5.06543974 |
ex8_1_7 |
0.0100 |
0.02931083 |
ex8_1_8 |
0.0100 |
-0.38881144 |
ex8_3_1 |
0.5000 |
-0.81668477 |
ex8_3_10 |
0.0800 |
-0.03596508 |
ex8_3_12 |
0.0000 |
0.00000000 |
ex8_3_13 |
0.0300 |
0.00000000 |
ex8_3_2 |
0.1300 |
-0.41233019 |
ex8_3_3 |
0.1600 |
-0.41660308 |
ex8_3_4 |
0.1600 |
-3.57998238 |
ex8_3_5 |
0.1600 |
-0.06911967 |
ex8_3_6 |
0.2000 |
-0.50000000 |
ex8_3_7 |
0.1900 |
-1.23261919 |
ex8_3_9 |
0.1000 |
-0.76300193 |
ex8_4_1 |
0.0100 |
0.61857276 |
ex8_4_2 |
0.0100 |
0.48515249 |
ex8_4_3 |
0.0100 |
0.00464972 |
ex8_4_4 |
0.0000 |
0.21245984 |
ex8_4_5 |
0.0100 |
0.00030749 |
ex8_4_6 |
0.0100 |
0.00110498 |
ex8_4_7 |
0.0000 |
29.04730672 |
ex8_6_1 |
0.0700 |
-26.49049870 |
ex8_6_2 |
0.0700 |
-31.28492061 |
ex9_1_1 |
0.0000 |
-13.00000000 |
ex9_1_10 |
0.0100 |
-3.25000000 |
ex9_1_2 |
0.0000 |
-3.00000000 |
ex9_1_4 |
0.0000 |
-37.00000000 |
ex9_1_5 |
0.0000 |
-1.00000000 |
ex9_1_8 |
0.0000 |
-3.25000000 |
ex9_2_1 |
0.0000 |
17.00000000 |
ex9_2_2 |
0.0100 |
99.99999205 |
ex9_2_3 |
0.0100 |
0.00000000 |
ex9_2_4 |
0.0000 |
0.50000000 |
ex9_2_5 |
0.0000 |
5.00000000 |
ex9_2_6 |
0.0000 |
-1.00000000 |
ex9_2_7 |
0.0000 |
17.00000000 |
ex9_2_8 |
0.0100 |
1.50000000 |
gtm |
0.0100 |
543.56509479 |
harker |
0.0000 |
-986.51348399 |
haverly |
0.0000 |
-400.00000000 |
hhfair |
0.0100 |
-87.15903759 |
himmel11 |
0.0000 |
-30665.53867178 |
himmel16 |
0.0100 |
-0.67498144 |
house |
0.0000 |
-4500.00000000 |
hydro |
0.0000 |
4366944.15975813 |
immun |
0.0000 |
0.00000000 |
korcge |
0.0100 |
-339.21302800 |
launch |
0.0100 |
2257.79755763 |
least |
0.0000 |
14085.13984893 |
like |
0.0100 |
1138.41056442 |
lnts50 |
0.1000 |
0.55466876 |
meanvar |
0.0100 |
5.24339907 |
mhw4d |
0.0000 |
27.87190522 |
minlphi |
0.0000 |
582.23614204 |
otpop |
0.0100 |
0.00000000 |
pindyck |
0.0000 |
-1170.48628544 |
pollut |
0.0000 |
-5353268.62874738 |
process |
0.0000 |
-1161.33660242 |
prolog |
0.0100 |
1.06218530 |
qp1 |
0.0600 |
0.00080932 |
qp2 |
0.0300 |
0.00080932 |
qp3 |
0.0200 |
0.00080932 |
qp4 |
0.0000 |
0.00080932 |
ramsey |
0.0000 |
-2.48746864 |
rbrock |
0.0000 |
0.00000000 |
sambal |
0.0000 |
3.96822036 |
sample |
0.0000 |
726.66841727 |
ship |
0.0000 |
5.54091471 |
srcpm |
0.0000 |
2109.78183275 |
st_bpaf1a |
0.0100 |
-45.37971014 |
st_bpaf1b |
0.0000 |
-42.96255760 |
st_bpk1 |
0.0000 |
-10.00000000 |
st_bpk2 |
0.0000 |
-10.00000000 |
st_bpv1 |
0.0000 |
10.00000000 |
st_bpv2 |
0.0000 |
0.00000000 |
st_bsj2 |
0.0000 |
1.00000000 |
st_bsj3 |
0.0000 |
-34843.05000000 |
st_bsj4 |
0.0000 |
-55379.66111111 |
st_cqpf |
0.0000 |
-2.75000000 |
st_cqpjk1 |
0.0100 |
-12.44444222 |
st_cqpjk2 |
0.0000 |
-12.50000000 |
st_e01 |
0.0000 |
-6.66666667 |
st_e03 |
0.0100 |
-1161.33660236 |
st_e04 |
0.0000 |
5194.86624420 |
st_e05 |
0.1400 |
7049.24927242 |
st_e06 |
0.0000 |
0.00000000 |
st_e07 |
0.0000 |
-400.00000000 |
st_e09 |
0.0000 |
0.00000000 |
st_e10 |
0.0000 |
-16.73889318 |
st_e11 |
0.0000 |
286.94277335 |
st_e17 |
0.0000 |
376.29193233 |
st_e18 |
0.0100 |
-2.82842712 |
st_e19 |
0.0000 |
10.35382907 |
st_e20 |
0.0000 |
-0.38881144 |
st_e22 |
0.0000 |
-80.00000000 |
st_e23 |
0.0000 |
-1.08333333 |
st_e24 |
0.0000 |
4.00000000 |
st_e25 |
0.0100 |
0.89019359 |
st_e26 |
0.0000 |
-185.77920000 |
st_e28 |
0.0100 |
-30665.53867178 |
st_e33 |
0.0000 |
-400.00000000 |
st_e34 |
0.0000 |
0.01561953 |
st_e37 |
0.0000 |
0.01583938 |
st_e39 |
0.0000 |
-5.06543974 |
st_e41 |
0.0000 |
641.82356228 |
st_e42 |
0.0000 |
18.78420000 |
st_fp1 |
0.0000 |
0.00000000 |
st_fp2 |
0.0000 |
-213.00000000 |
st_fp3 |
0.0000 |
-10.10937500 |
st_fp4 |
0.0000 |
-11.00000000 |
st_fp5 |
0.0000 |
-268.01463154 |
st_fp6 |
0.0000 |
-18.22222222 |
st_fp7a |
0.0100 |
1.47958635 |
st_fp7b |
0.0000 |
-470.52200965 |
st_fp7c |
0.0100 |
-5410.44019294 |
st_fp7d |
0.0100 |
6.55405444 |
st_fp7e |
0.0000 |
12.75070976 |
st_fp8 |
0.0100 |
20560.00000000 |
st_glmp_fp1 |
0.0000 |
20.00000000 |
st_glmp_fp2 |
0.0000 |
7.62750000 |
st_glmp_fp3 |
0.0100 |
0.00000000 |
st_glmp_kk90 |
0.0100 |
4.00000000 |
st_glmp_kk92 |
0.0000 |
0.00000000 |
st_glmp_kky |
0.0000 |
1.50000000 |
st_glmp_ss1 |
0.0000 |
-24.57142857 |
st_glmp_ss2 |
0.0000 |
8.25000000 |
st_ht |
0.0000 |
0.00000000 |
st_iqpbk1 |
0.0000 |
-621.48782500 |
st_iqpbk2 |
0.0100 |
-1195.22565000 |
st_jcbpaf2 |
0.0000 |
-388.34910774 |
st_jcbpafex |
0.0000 |
-1.08333333 |
st_kr |
0.0000 |
-80.00000000 |
st_m1 |
0.0000 |
-461356.93887879 |
st_m2 |
0.0100 |
-856648.81868507 |
st_pan1 |
0.0000 |
0.00000000 |
st_pan2 |
0.0000 |
0.00000000 |
st_ph1 |
0.0000 |
0.00000000 |
st_ph10 |
0.0000 |
-10.50000000 |
st_ph11 |
0.0000 |
0.00000000 |
st_ph12 |
0.0000 |
0.00000000 |
st_ph13 |
0.0000 |
0.00000000 |
st_ph14 |
0.0000 |
-215.12500000 |
st_ph15 |
0.0000 |
0.00000000 |
st_ph2 |
0.0000 |
0.00000000 |
st_ph20 |
0.0100 |
-158.00000000 |
st_ph3 |
0.0000 |
0.00000000 |
st_phex |
0.0000 |
-80.00000000 |
st_qpc-m0 |
0.0000 |
0.00000000 |
st_qpc-m1 |
0.0000 |
-473.77777778 |
st_qpc-m3a |
0.0000 |
0.00000000 |
st_qpc-m3b |
0.0000 |
0.00000000 |
st_qpc-m3c |
0.0000 |
0.00000000 |
st_qpc-m4 |
0.0100 |
0.00000000 |
st_qpk1 |
0.0000 |
0.00000000 |
st_qpk2 |
0.0100 |
0.00000000 |
st_qpk3 |
0.0000 |
0.00000000 |
st_rv1 |
0.0100 |
-59.90434506 |
st_rv2 |
0.0000 |
-61.56223652 |
st_rv3 |
0.0100 |
-35.76067064 |
st_rv7 |
0.0000 |
-118.15121322 |
st_rv8 |
0.0100 |
-132.66162896 |
st_rv9 |
0.0000 |
-114.66276537 |
st_z |
0.0000 |
0.00000000 |
wall |
0.0000 |
1.00000466 |
weapons |
0.0100 |
-1735.56957986 |
worst |
0.0000 |
20762609.21087110 |
Back to top
MINOS: feasible:     Back to top
Modelname |
Time (MINOS) |
Obj (MINOS) |
elec100 |
30.0300 |
3673.86874227 |
ex6_2_10 |
0.0100 |
-3.05122548 |
ex6_2_13 |
0.0000 |
-0.21020929 |
ex8_2_1 |
0.0000 |
0.00010520 |
ex8_2_4 |
4.4900 |
0.00001171 |
ex8_3_14 |
0.0100 |
-2.08041015 |
ex8_4_8 |
0.0000 |
171.62156319 |
ex8_5_1 |
0.0000 |
0.82038073 |
ex8_5_2 |
0.0000 |
-3.65453824 |
ex8_5_3 |
0.0000 |
-5.86102647 |
ex8_5_4 |
0.0000 |
-0.17795537 |
ex8_5_5 |
0.0000 |
0.64175744 |
ex8_5_6 |
0.0100 |
4.49350171 |
st_e12 |
0.0000 |
0.00000000 |
st_e21 |
0.0000 |
0.00000000 |
Back to top
MINOS: infeasible:     Back to top
Modelname |
Time (MINOS) |
Status (MINOS) |
camshape100 |
-- |
mstat( 5) sstat( 1) |
ex5_3_3 |
-- |
mstat( 5) sstat( 1) |
ex7_3_5 |
-- |
mstat( 5) sstat( 1) |
ex7_3_6 |
-- |
mstat( 5) sstat( 1) |
ex8_3_11 |
-- |
mstat( 5) sstat( 1) |
ex8_3_8 |
-- |
mstat( 5) sstat( 1) |
st_e02 |
-- |
mstat( 5) sstat( 1) |
st_e08 |
-- |
mstat( 5) sstat( 1) |
st_e16 |
-- |
mstat( 5) sstat( 1) |
st_e30 |
-- |
mstat( 5) sstat( 1) |
st_robot |
-- |
mstat( 5) sstat( 1) |
Back to top
BARON: optimal:     Back to top
Modelname |
Time (BARON) |
Obj (BARON) |
circle |
0.0100 |
4.57424779 |
ex2_1_1 |
0.0100 |
-17.00000000 |
ex2_1_2 |
0.0000 |
-213.00000000 |
ex2_1_3 |
0.0100 |
-15.00000000 |
ex3_1_3 |
0.0000 |
-310.00000000 |
ex4_1_2 |
0.0200 |
-663.50009661 |
ex4_1_8 |
0.0100 |
-16.73889318 |
ex4_1_9 |
0.0200 |
-5.50801327 |
ex5_2_2_case2 |
0.0500 |
-600.00000000 |
ex7_2_2 |
0.0400 |
-0.38881143 |
ex7_3_1 |
0.0000 |
0.34173955 |
ex7_3_2 |
0.0100 |
1.08986397 |
ex7_3_3 |
0.0300 |
0.81752905 |
ex7_3_4 |
0.4800 |
6.27463434 |
ex7_3_5 |
1.3600 |
1.20689651 |
ex8_1_8 |
0.0200 |
-0.38881143 |
ex9_1_1 |
0.0100 |
-13.00000000 |
ex9_1_10 |
0.0000 |
-3.25000000 |
ex9_1_4 |
0.0100 |
-37.00000000 |
ex9_1_5 |
0.0200 |
-1.00000000 |
ex9_1_8 |
0.0000 |
-3.25000000 |
ex9_2_2 |
0.0100 |
99.99989480 |
ex9_2_4 |
0.0300 |
0.50000000 |
ex9_2_5 |
0.0100 |
5.00000000 |
hhfair |
0.3300 |
-87.15903761 |
house |
0.0100 |
-4500.00000000 |
immun |
0.0200 |
0.00000000 |
qp5 |
0.0200 |
0.43145590 |
ramsey |
0.0300 |
-2.48746864 |
st_bpk1 |
0.0100 |
-13.00000000 |
st_bpk2 |
0.0100 |
-13.00000000 |
st_bpv1 |
0.0200 |
10.00000000 |
st_bpv2 |
0.0000 |
-8.00000000 |
st_bsj4 |
0.0200 |
-70262.05000000 |
st_e01 |
0.0100 |
-6.66666667 |
st_e02 |
0.0100 |
201.15933406 |
st_e09 |
0.0000 |
-0.50000000 |
st_e10 |
0.0000 |
-16.73889318 |
st_e11 |
0.0800 |
189.31200000 |
st_e12 |
0.0100 |
-4.51420165 |
st_e16 |
0.0600 |
12292.46727679 |
st_e17 |
0.0100 |
376.29193233 |
st_e18 |
0.0100 |
-2.82842712 |
st_e20 |
0.0200 |
-0.38881143 |
st_e21 |
0.0100 |
-13.40190356 |
st_e22 |
0.0000 |
-85.00000000 |
st_e24 |
0.0100 |
3.00000000 |
st_e25 |
0.0100 |
0.89019359 |
st_e30 |
0.0500 |
-1.58113883 |
st_e34 |
0.0200 |
0.01561953 |
st_e42 |
0.0100 |
18.78420000 |
st_fp1 |
0.0300 |
-17.00000000 |
st_fp2 |
0.0000 |
-213.00000000 |
st_fp4 |
0.0100 |
-11.00000000 |
st_glmp_fp1 |
0.0100 |
10.00000000 |
st_glmp_fp2 |
0.0000 |
7.34454542 |
st_glmp_fp3 |
0.0100 |
-12.00000000 |
st_glmp_kk90 |
0.0200 |
3.00000000 |
st_glmp_kk92 |
0.0200 |
-12.00000000 |
st_glmp_ss2 |
0.0200 |
3.00000000 |
st_kr |
0.0000 |
-85.00000000 |
st_pan2 |
0.0200 |
-17.00000000 |
st_ph10 |
0.0000 |
-10.50000000 |
st_ph2 |
0.0200 |
-1028.11728395 |
st_ph20 |
0.0100 |
-158.00000000 |
st_phex |
0.0000 |
-85.00000000 |
st_qpc-m0 |
0.0200 |
-5.00000000 |
st_qpk1 |
0.0200 |
-3.00000000 |
wall |
0.0100 |
-1.00000466 |
Back to top
BARON: locally optimal:     Back to top
Modelname |
Time (BARON) |
Obj (BARON) |
abel |
120.0000 |
225.19458319 |
alkyl |
0.0400 |
-1.76499965 |
bayes2_10 |
1.0600 |
0.01837518 |
bayes2_20 |
120.0500 |
0.00032609 |
bayes2_30 |
120.0100 |
0.00010752 |
bayes2_50 |
120.0300 |
0.52020774 |
bearing |
120.0000 |
1.95173322 |
btest14 |
120.1500 |
32.45088225 |
camcge |
120.0300 |
-191.73462424 |
camshape100 |
18.0600 |
-4.28414712 |
chain25 |
122.2700 |
5.07226149 |
chain50 |
122.2100 |
5.07226149 |
chakra |
0.1600 |
-179.13355786 |
chance |
0.0100 |
29.89437816 |
chem |
1.2000 |
-47.70651483 |
chenery |
0.7500 |
-1058.91985563 |
demo7 |
0.0200 |
-1589042.38619810 |
dispatch |
0.0000 |
3155.28792686 |
elec25 |
121.9300 |
243.81276030 |
etamac |
1.2700 |
-15.29467564 |
ex14_1_1 |
0.0000 |
0.00000000 |
ex14_1_2 |
0.0300 |
0.00000000 |
ex14_1_3 |
0.0000 |
0.00000000 |
ex14_1_5 |
0.0000 |
0.00000000 |
ex14_1_6 |
0.0100 |
0.00000000 |
ex14_1_7 |
0.1200 |
0.00000000 |
ex14_1_8 |
0.0200 |
0.00000000 |
ex14_1_9 |
0.0000 |
0.00000000 |
ex14_2_1 |
0.0100 |
0.00000000 |
ex14_2_2 |
0.0200 |
0.00000000 |
ex14_2_3 |
0.0100 |
0.00000000 |
ex14_2_4 |
0.0100 |
0.00000000 |
ex14_2_5 |
0.0000 |
0.00000000 |
ex14_2_6 |
0.0100 |
0.00000000 |
ex14_2_7 |
0.0100 |
0.00000000 |
ex14_2_8 |
0.0100 |
0.00000000 |
ex14_2_9 |
0.0100 |
0.00000000 |
ex2_1_10 |
0.0300 |
49318.01795841 |
ex2_1_4 |
0.0000 |
-11.00000000 |
ex2_1_5 |
0.0200 |
-268.01463154 |
ex2_1_6 |
0.0100 |
-39.00000000 |
ex2_1_7 |
0.0900 |
-4150.41013393 |
ex2_1_8 |
0.0400 |
15990.00000000 |
ex2_1_9 |
0.9200 |
-0.37500000 |
ex3_1_1 |
0.1000 |
7049.24802053 |
ex3_1_2 |
0.0000 |
-30665.53867179 |
ex3_1_4 |
0.0200 |
-4.00000000 |
ex4_1_1 |
0.0100 |
-7.48731236 |
ex4_1_3 |
0.0100 |
-443.67170474 |
ex4_1_4 |
0.0300 |
0.00000000 |
ex4_1_5 |
0.0100 |
0.00000000 |
ex4_1_6 |
0.0300 |
7.00000000 |
ex4_1_7 |
0.0200 |
-7.50000000 |
ex5_2_2_case1 |
0.0300 |
-400.00000000 |
ex5_2_2_case3 |
0.0200 |
-750.00000000 |
ex5_2_4 |
0.0400 |
-450.00000000 |
ex5_2_5 |
120.0400 |
-3500.00000000 |
ex5_3_2 |
0.0900 |
1.86415946 |
ex5_3_3 |
120.0100 |
3.23401822 |
ex5_4_2 |
0.0900 |
7512.23014450 |
ex5_4_3 |
0.0400 |
4845.46200496 |
ex5_4_4 |
120.0000 |
10077.77540384 |
ex6_1_1 |
3.0200 |
-0.02019831 |
ex6_1_2 |
0.0400 |
-0.03246375 |
ex6_1_3 |
3.6400 |
-0.35249780 |
ex6_1_4 |
0.1100 |
-0.29454129 |
ex6_2_10 |
120.0100 |
-3.05197613 |
ex6_2_11 |
120.0000 |
-0.00000267 |
ex6_2_12 |
4.3100 |
0.28919475 |
ex6_2_13 |
120.0100 |
-0.21620944 |
ex6_2_14 |
1.0200 |
-0.69535793 |
ex6_2_5 |
120.0000 |
-70.75207783 |
ex6_2_6 |
39.8900 |
-0.00000260 |
ex6_2_7 |
120.0000 |
-0.16084762 |
ex6_2_8 |
19.0200 |
-0.02700635 |
ex6_2_9 |
120.0100 |
-0.03406618 |
ex7_2_1 |
0.0300 |
1227.22607572 |
ex7_2_3 |
75.2400 |
7049.24802053 |
ex7_2_4 |
1.8800 |
3.91801023 |
ex7_3_6 |
0.0100 |
0.00000000 |
ex8_1_3 |
120.0100 |
3.00000000 |
ex8_1_4 |
0.0500 |
0.00000000 |
ex8_1_5 |
0.2600 |
-1.03162845 |
ex8_1_6 |
0.0100 |
-10.08600150 |
ex8_1_7 |
0.1500 |
0.02931083 |
ex8_2_1 |
27.1500 |
1.00000000000000E+51 |
ex8_2_4 |
80.6700 |
1.00000000000000E+51 |
ex8_3_1 |
120.0000 |
-0.76749808 |
ex8_3_10 |
120.0100 |
-0.88454742 |
ex8_3_11 |
120.2000 |
-0.76174444 |
ex8_3_12 |
0.0500 |
0.00000000 |
ex8_3_13 |
460.3100 |
0.00000000 |
ex8_3_2 |
120.0200 |
-0.41233018 |
ex8_3_3 |
120.0100 |
-0.41660308 |
ex8_3_4 |
120.0100 |
-3.57998238 |
ex8_3_5 |
120.7200 |
-0.06878673 |
ex8_3_6 |
120.0000 |
-0.50000000 |
ex8_3_7 |
120.0100 |
-1.23261919 |
ex8_3_8 |
120.3800 |
-2.99777591 |
ex8_3_9 |
120.4200 |
-0.76300194 |
ex8_4_1 |
0.0900 |
0.61857276 |
ex8_4_2 |
120.0000 |
0.48515249 |
ex8_4_3 |
0.3500 |
0.00464972 |
ex8_4_4 |
0.1600 |
0.21245984 |
ex8_4_5 |
3.4900 |
0.00030749 |
ex8_4_6 |
120.0200 |
0.00110498 |
ex8_4_7 |
120.0000 |
29.04730672 |
ex8_4_8 |
120.0100 |
3.32184733 |
ex8_5_1 |
0.0200 |
-0.00000041 |
ex8_5_2 |
0.0300 |
-0.00000001 |
ex8_5_3 |
0.0100 |
-0.00413543 |
ex8_5_4 |
0.0200 |
-0.00042515 |
ex8_5_5 |
0.0100 |
-0.01075334 |
ex8_5_6 |
0.0200 |
0.00000099 |
ex8_6_1 |
120.0200 |
-28.42253189 |
ex8_6_2 |
120.0400 |
-31.88862963 |
ex9_1_2 |
0.0000 |
-16.00000000 |
ex9_2_1 |
0.0000 |
17.00000000 |
ex9_2_3 |
0.0300 |
0.00000000 |
ex9_2_6 |
0.0200 |
-1.00000000 |
ex9_2_7 |
0.0300 |
17.00000000 |
ex9_2_8 |
0.0100 |
1.50000000 |
gtm |
0.0900 |
543.56509479 |
harker |
0.1700 |
-986.51348399 |
haverly |
0.0400 |
-400.00000000 |
himmel11 |
0.0100 |
-30665.53867179 |
himmel16 |
3.0500 |
-0.86602540 |
hydro |
0.0500 |
4366944.15975814 |
least |
120.0000 |
14085.13984893 |
like |
0.6300 |
1138.41056442 |
meanvar |
0.1000 |
5.24339907 |
mhw4d |
0.2600 |
0.02931083 |
minlphi |
5.0400 |
582.23614204 |
otpop |
0.0400 |
0.00000000 |
pindyck |
120.0100 |
-1170.48628544 |
process |
0.0600 |
-1161.33660236 |
prolog |
0.0200 |
0.00000001 |
qp1 |
120.0300 |
0.00080932 |
qp2 |
120.0300 |
0.00080932 |
qp3 |
120.0100 |
0.00080932 |
qp4 |
0.3400 |
0.00080932 |
rbrock |
0.0000 |
0.00000000 |
sambal |
1.1800 |
3.96822036 |
sample |
0.0300 |
726.67935880 |
srcpm |
0.0600 |
2109.78183275 |
st_bpaf1a |
0.0000 |
-45.37971014 |
st_bpaf1b |
0.0100 |
-42.96255760 |
st_bsj2 |
0.0200 |
1.00000000 |
st_bsj3 |
0.0200 |
-86768.55000000 |
st_cqpf |
0.0100 |
-2.75000000 |
st_cqpjk1 |
0.0200 |
-12.44444222 |
st_cqpjk2 |
0.0100 |
-12.50000000 |
st_e03 |
0.1600 |
-1161.33660236 |
st_e04 |
0.0300 |
5194.87000000 |
st_e05 |
0.1600 |
7049.24927248 |
st_e06 |
0.0100 |
0.00000000 |
st_e07 |
0.0200 |
-400.00000000 |
st_e08 |
0.0000 |
0.74178196 |
st_e19 |
0.0300 |
-118.70485977 |
st_e23 |
0.0300 |
-1.08333333 |
st_e26 |
0.0200 |
-185.77920000 |
st_e28 |
0.0000 |
-30665.53867179 |
st_e33 |
0.0200 |
-400.00000000 |
st_e37 |
0.0300 |
0.00104172 |
st_e39 |
0.0200 |
-10.08600150 |
st_e41 |
0.0000 |
641.82356233 |
st_fp3 |
0.0200 |
-13.82812500 |
st_fp5 |
0.0100 |
-268.01463154 |
st_fp6 |
0.0300 |
-39.00000000 |
st_fp7a |
0.0400 |
-354.75061242 |
st_fp7b |
0.0400 |
-634.75061242 |
st_fp7c |
0.0400 |
-8695.01224832 |
st_fp7d |
0.0500 |
-114.75061242 |
st_fp7e |
0.0300 |
-3730.41013393 |
st_fp8 |
0.0600 |
15990.00000000 |
st_glmp_kky |
0.0000 |
-2.50000000 |
st_glmp_ss1 |
0.0200 |
-24.57142857 |
st_ht |
0.0000 |
-1.60000000 |
st_iqpbk1 |
0.0400 |
-621.48782500 |
st_iqpbk2 |
0.0300 |
-1195.22565000 |
st_jcbpaf2 |
0.0300 |
-794.85591398 |
st_jcbpafex |
0.0100 |
-1.08333333 |
st_m1 |
0.0500 |
-461356.93887879 |
st_m2 |
0.0700 |
-856648.81868507 |
st_pan1 |
0.0000 |
-5.28370918 |
st_ph1 |
0.0200 |
-230.11728395 |
st_ph11 |
0.0300 |
-11.28125000 |
st_ph12 |
0.0200 |
-22.62500000 |
st_ph13 |
0.0200 |
-11.28125000 |
st_ph14 |
0.0200 |
-229.72222222 |
st_ph15 |
0.0100 |
-392.70370370 |
st_ph3 |
0.0200 |
-420.23481985 |
st_qpc-m1 |
0.0200 |
-473.77777778 |
st_qpc-m3a |
0.0300 |
-382.69500000 |
st_qpc-m3b |
0.0600 |
0.00000000 |
st_qpc-m3c |
0.0000 |
0.00000000 |
st_qpc-m4 |
0.0000 |
0.00000000 |
st_qpk2 |
0.0200 |
-12.25000000 |
st_qpk3 |
0.0800 |
-36.00000000 |
st_robot |
0.0900 |
0.00000000 |
st_rv1 |
0.0100 |
-59.94391660 |
st_rv2 |
0.0300 |
-64.48069510 |
st_rv3 |
0.0200 |
-35.76067064 |
st_rv7 |
0.0500 |
-138.18749713 |
st_rv8 |
0.0600 |
-132.66162896 |
st_rv9 |
0.1000 |
-118.97521560 |
st_z |
0.0100 |
0.00000000 |
weapons |
0.0200 |
-1735.56957986 |
Back to top
BARON: infeasible:     Back to top
Modelname |
Time (BARON) |
Status (BARON) |
launch |
-- |
mstat(19) sstat( 1) |
pollut |
-- |
mstat(19) sstat( 1) |
Back to top
BARON: fail:     Back to top
Modelname |
Time (BARON) |
Status (BARON) |
chain100 |
-- |
mstat(12) sstat(10) |
elec100 |
-- |
mstat(13) sstat( 3) |
elec50 |
-- |
mstat(13) sstat( 3) |
ex14_1_4 |
-- |
mstat(14) sstat( 6) |
ex8_1_1 |
-- |
mstat(14) sstat( 6) |
ex8_1_2 |
-- |
mstat(14) sstat( 6) |
ex8_3_14 |
-- |
mstat(12) sstat(10) |
korcge |
-- |
mstat(14) sstat(10) |
lnts50 |
-- |
mstat(14) sstat( 6) |
ship |
-- |
mstat(14) sstat(10) |
worst |
-- |
mstat(14) sstat( 6) |
Back to top